logic language造句
例句與造句
- Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在論文中用一階邏輯語言建立可信平臺模塊api的形式化模型,然后對建立的形式化模型進行邏輯推理分析。 - The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language
界限主體的確立，既解決了主體的“體”帶來的一系列問題，同時又為主體在邏輯語言的層面上找到了一種合理的存在形式。 - In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols
在本文中，作者主要介紹了用于分析密碼協議的三種邏輯語言，研究了它們的優缺點，然后結合其優點，提出了一種新的用于分析電子商務協議的形式化邏輯語言。 - ( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language
( 2 )為驗證算法的有效性，該文設計實現了一個測試平臺? ?基于sqlserver的規則處理器，其主要功能為自動把一階邏輯規則轉換為含有sql語句的過程代碼，這使得sqlserver數據庫管理系統有了用邏輯數據語言表示遞歸查詢的能力。 - Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language
接著指出數學語言是進行數學交流活動的重要工具，參考前人的成果，對數學語言重新進行分類，可分為：文字語言，符號語言，圖形語言，圖表語言，邏輯語言。 - It's difficult to find logic language in a sentence. 用logic language造句挺難的
- We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy
由于構件可能具有不同的抽象層次和粒度，我們采用了時序邏輯語言xyz e作為構件描述語言，這種語言能夠描述構件的靜態語義和動態執行，并且能在不同抽象層次上對系統進行形式化描述。 - We generalize the notion of information tables to ordered information tables by adding order relations on attribute values . a data analysis method is thus proposed to describe properties of ordered information tables . we define the concepts of reduct and core etc . by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules , designs the ordered decision logic language ( odl - language ) , and gives a solution for mining ordering rules
從數據挖掘的角度考慮對象排序問題，通過引進屬性值上的有序關系，作者擴充了常見的屬性值方法，提出了有序信息表的形式化概念，進而提出了一個有序信息表上的數據分析方法，通過分析有序信息表中的屬性依賴，定義了有序信息表的約簡集和核的概念；作者還提出和形式化了有序信息表中挖掘有序規則的問題，設計了有序決策邏輯語言( odl ) ，并給出了一個挖掘有序規則的方法。